<html><body>
Interfaces for TraceCompiler plug-ins
</body></html>
